<div id="nav">
<ul>
    <li id="nav-home"><a href="/">Home</a></li>
<?php   print '<li id="nav-trainer"><a href="vokabeltrainer.html">MP3 - Vokabeltrainer</a></li>';
	print  '<li id="nav-products"><a href="sprachprodukte.html">Sprachprodukte</a></li>';
	print '<li id="nav-account"><a href="einstellungen.html">Einstellungen</a></li>';
?>
</ul>
</div>                  
<?php
if($_SERVER['SCRIPT_NAME'] <> '/' and $_SERVER['SCRIPT_NAME'] <> '/index.html' and $_SERVER['SCRIPT_NAME'] <> '/testprod/' and $_SERVER['SCRIPT_NAME'] <> '/testprod/index.html' )
{ echo '<div class="line2" ></div>';
echo '<div class="line3" ></div>';
}
?>

